]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc05d30) | patch
windowManager: Don't shift OR windows when inserting a workspace
authorFlorian Müllner <fmuellner@gnome.org>
Fri, 16 Jan 2015 00:19:37 +0000 (01:19 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 16 Jan 2015 18:28:56 +0000 (19:28 +0100)
commit67ec1e551916d7c2ed248b4e09428de7434ed6b8
treedceee1c964b0a68a8754a268801f21c04fc55fc7tree | snapshot
parentcc05d303d89e697059f2d2bf27d2f6084a65235fcommit | diff
windowManager: Don't shift OR windows when inserting a workspace

We are not supposed to mess around with OR windows, so don't try
to shift them to a different workspace. This fixes a warning with
newer versions of mutter.

https://bugzilla.gnome.org/show_bug.cgi?id=665764
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.